Buy Used and New Zohar Manna Books

Temporal Verification of Reactive Systems: Safety

by Zohar Manna,Amir Pnueli

ISBN 13: 9780387944593

Format: Illustrated (530 pages)
Publisher: Springer
Published: 04 Aug 1995

Save for later

The Temporal Logic of Reactive and Concurrent Systems: Specification

by Zohar Manna,Amir Pnueli

ISBN 13: 9780387976648

Format: Illustrated (441 pages)
Publisher: Springer
Published: 15 Dec 1991

Save for later

The Calculus of Computation: Decision Procedures with Applications to Verification

by Aaron R. Bradley,Zohar Manna

ISBN 13: 9783642093470

Format: Paperback (382 pages)
Publisher: Springer
Published: 19 Oct 2010

Save for later